The Randomized Coloring Procedure with Symmetry-Breaking
نویسندگان
چکیده
A basic randomized coloring procedure has been used in probabilistic proofs to obtain remarkably strong results on graph coloring. These results include the asymptotic version of the List Coloring Conjecture due to Kahn, the extensions of Brooks’ Theorem to sparse graphs due to Kim and Johansson, and Luby’s fast parallel and distributed algorithms for graph coloring. The most challenging aspect of a typical probabilistic proof is showing adequate concentration bounds for key random variables. In this paper, we present a simple symmetry-breaking augmentation to the randomized coloring procedure that works well in conjunction with Azuma’s Martingale Inequality to easily yield the requisite concentration bounds. We use this approach to obtain a number of results in two areas: frugal coloring and weighted equitable coloring. A β-frugal coloring of a graph G is a proper vertex-coloring of G in which no color appears more than β times in any neighborhood. Let G = (V,E) be a vertex-weighted graph with weight function w : V → [0, 1] and let W = ∑ v∈V w(v). A weighted equitable coloring of G is a proper k-coloring such that the total weight of every color class is “large”, i.e., “not much smaller” thanW/k; this notion is useful in obtaining tail bounds for sums of dependent random variables.
منابع مشابه
Distributed $(\Delta+1)$-Coloring in Sublogarithmic Rounds
The (∆+1)-coloring problem is a fundamental symmetry breaking problem in distributed computing. We give a new randomized coloring algorithm for (∆ + 1)-coloring running in O( √ log ∆) + 2O( √ log logn) rounds with probability 1 − 1/nΩ(1) in a graph with n nodes and maximum degree ∆. This implies that the (∆ + 1)-coloring problem is easier than the maximal independent set problem and the maximal...
متن کاملDistributed Graph Coloring: Fundamentals and Recent Developments
The focus of this monograph is on symmetry breaking problems in the message-passing model of distributed computing. In this model a communication network is represented by a n-vertex graph G = (V,E), whose vertices host autonomous processors. The processors communicate over the edges of G in discrete rounds. The goal is to devise algorithms that use as few rounds as possible. A typical symmetry...
متن کاملDistributed Symmetry Breaking in Hypergraphs
Fundamental local symmetry breaking problems such as Maximal Independent Set (MIS) and coloring have been recognized as important by the community, and studied extensively in (standard) graphs. In particular, fast (i.e., logarithmic run time) randomized algorithms are well-established for MIS and ∆ + 1-coloring in both the LOCAL and CONGEST distributed computing models. On the other hand, compa...
متن کاملAn Optimal Distributed $(\Delta+1)$-Coloring Algorithm?
Vertex coloring is one of the classic symmetry breaking problems studied in distributed com-puting. In this paper we present a new algorithm for (∆ + 1)-list coloring in the randomizedLOCAL model running in O(log n + Detd(poly logn)) time, where Detd(n ′) is the determinis-tic complexity of (deg+1)-list coloring (v’s palette has size deg(v) + 1) onn′-vertex graphs.This impro...
متن کاملDeterministic Parallel Graph Coloring with Symmetry Breaking
In this paper we propose a deterministic parallel graph coloring algorithm that enables Multi-Coloring in parallel for sparse undirected graphs by coarse-grained segmentation and symmetry breaking. The proposed algorithm is implemented and tested on standard problem instances from engineering applications and benchmarked against various deterministic graph coloring algorithms. Quantified result...
متن کامل